Mathematical Fuzzy Logics
نویسنده
چکیده
The last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical
منابع مشابه
Exploring Paraconsistency in Degree-Preserving Fuzzy Logics
Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. In the last decade, mathematical fuzzy logic has been developed as a discipline studying formal many-valued systems arising from fuzzy set theory. In this paper we study to what extent different systems of fuzzy logic are paraconsistent, identifying which f...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملIntegrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relations such as left and right. Another important feature is imprecision which has to be taken into account to model vagueness, inherent to many spatial relations (as for instance vague expressions such as close to, to t...
متن کاملUncertainty and dependence in classical
We distinguish three types of uncertainty: the probabilistic, the quantum and the fuzzy uncertainty. In these three contexts, we use diierent mathematical models to describe the event structures | the Boolean, the quantum and the fuzzy logics. We deene states in a uniform way as valuations. Let us ask the following question: If a; b are two elements of a (Boolean, quantum, fuzzy, resp.) logic L...
متن کاملNumber-free Mathematics Based on T-norm Fuzzy Logic
The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers are eliminated from definitions and theorems, being removed to the standard semantics of fuzzy logic. Several examples demonstrate how this move conceptually simplifies the theory in exchange for non-classical reasoning, facilit...
متن کاملAn Abstract Approach to Fuzzy Logics: implicational semilinear logics
This paper presents a new abstract framework to deal in a uniform way with the increasing variety of fuzzy logics studied in the literature. By means of notions and techniques from Abstract Algebraic Logic, we perform a study of non-classical logics based on the kind of generalized implication connectives they possess. It yields the new hierarchy of implicational logics. In this framework the n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Bulletin of Symbolic Logic
دوره 14 شماره
صفحات -
تاریخ انتشار 2008